Перевод: с английского на русский

с русского на английский

denumerably infinite

См. также в других словарях:

  • Skolem , Thoralf Albert — (1887–1963) Norwegian mathematician The son of a teacher, Skolem was born at Sandsvaer in Norway and educated at the University of Oslo. He joined the faculty in 1911 and was appointed professor of mathematics in 1938, a post he held until his… …   Scientists

  • Science of Value — The science of value, or value science, is a creation of philosopher Robert S. Hartman, which attempts to formally elucidate value theory using both formal and symbolic logic. The fundamental principle, which functions as an axiom, and can be… …   Wikipedia

  • Skolem paradox — Leopold Löwenheim (1878–1948) in 1915 and Thoralf Skolem (1887–1963) in 1920 showed that any denumerable set of sentences that has a model has a denumerably infinite model. The theory of real numbers can be axiomatized as a theory with a… …   Philosophy dictionary

  • transfinite number — Math. an infinite cardinal or ordinal number. [1900 05] * * * ▪ mathematics       denotation of the size of an infinite collection of objects. Comparison of certain infinite collections suggests that they have different sizes even though they are …   Universalium

  • automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… …   Universalium

  • Cantor's first uncountability proof — Georg Cantor s first uncountability proof demonstrates that the set of all real numbers is uncountable. Cantor formulated the proof in December 1873 and published it in 1874 in Crelle s Journal [cite… …   Wikipedia

  • Russell's paradox — Part of the foundations of mathematics, Russell s paradox (also known as Russell s antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory of Frege leads to a contradiction.It might be assumed that, for any formal… …   Wikipedia

  • Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

  • Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

  • denumerable — adj. Math. countable by correspondence with the infinite set of integers. Derivatives: denumerability n. denumerably adv. Etymology: LL denumerare (as DE , numerare NUMBER) …   Useful english dictionary

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»